(class implements C {})
